We construct a machine that knows its own code, at the price of not knowing its own factivity.

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Prior scholarly approaches to meaningful work have largely fallen into two camps. One focuses on identifying how work can contribute to a meaningful life. The other studies the antecedents and outcomes of workers experiencing their work as meaningful. Neither of these approaches, however, captures what people look for when they seek meaningful work—or so I argue. In this paper, I give a new, commitment-based account of meaningful work by focusing on the reasons people have to choose meaningful work over other (...) options. I draw on philosopher Ruth Chang’s account of voluntarist reasons (reasons that arise from an act of the will) to argue that commitments can create distinctive reasons to pursue certain work. It is the presence of these distinctive reasons that makes work meaningful. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and simulations of agent (...) behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)

In recent years, the number of studies examining mind wandering has increased considerably, and research on the topic has spread widely across various domains of psychological research. Although the term “mind wandering” has been used to refer to various cognitive states, researchers typically operationalize mind wandering in terms of “task-unrelated thought” (TUT). Research on TUT has shed light on the various task features that require people’s attention, and on the consequences of task inattention. Important methodological and conceptual complications do persist, (...) however, in current investigations of TUT. As we argue, these complications may be dampening the development of a more nuanced scientific account of TUT. Here, we outline three of the more prominent methodological and conceptual complications in the literature on TUT, and we discuss potential directions for researchers to take as they move forward in their investigations of TUT. (shrink)

Contemporary critics of the administrative state are right to highlight the dangers of vesting too much power in a centralized bureaucracy removed from popular oversight and accountability. Too often neglected in this literature, however, are the dangers of vesting too little power in a centralized state, which enables dominant groups to further expand their social and economic advantages through decentralized means. This article seeks to synthesize these concerns, understanding them as reflecting the same underlying danger of state capture. It then (...) articulates a set of heuristics for the design of public and administrative institutions, which aim at minimizing the risks of capture from both public and private sources. By following these heuristics, it claims, we can successfully employ the administrative state as a weapon against concentrated private power, rather than allowing it to serve as a tool of dominant groups. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

The conventional wisdom regarding the aims and shortcomings of Kantian constructivism is mistaken. The aim of metaethical constructivism is not to provide a naturalistic account of the objectivity of normative facts by deriving substantive morality from a conception of agency so thin as to be uncontroversial (a task at which it is generally regarded to have failed). Its aim is to explain the “grip” that normative facts have on us—to avoid what I call the problem of normative alienation. So understood, (...) Kantian constructivism faces two problems: that determinate normative facts cannot be derived from agency and that its individualistic conception of agency cannot account for the sociality of morality. I propose and elaborate a social conception of agency that is better able to address the latter problem while still avoiding normative alienation, and evaluate two different strategies for responding to the former problem. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

In response to the spread of COVID-19, governments across the world have, with very few exceptions, enacted sweeping restrictive lockdown policies that impede citizens’ freedom to move, work, and assemble. This paper critically responds to the central arguments for restrictive lockdown legislation. We build our critique on the following assumption: public policy that enjoys virtually unanimous support worldwide should be justified by uncontroversial moral principles. We argue that that the virtually unanimous support in favor of restrictive lockdowns is not adequately (...) justified by the arguments given in favor of them. Importantly, this is not to say that states ought not impose restrictive lockdown measures, but rather that the extent of the acceptance of these measures is not proportionate to the strength of the arguments for lockdowns. -/- We begin by exploring the case for restrictive lockdowns. We first argue that several of the principles that are used to justify the lockdowns yield unexpectedly revisionary implications for other political problems that many would be unwilling to accept. We then outline what we consider the strongest argument for a lockdown—namely, that its net welfare benefits are great enough to defeat the moral presumption against restricting citizens’ civil liberties to move, work, and assemble. However, we give a number of reasons for doubting that the lockdown’s net welfare benefits are, in fact, sufficiently high to defeat the presumption against it. (shrink)

Aristotle and the classical rhetoricians conceived of metaphor as a figure of speech in which one thing is given a name or an attribute of another thing on the basis of some resemblance that exists between the two things. Wallace Stevens conceived of metaphor not as the production of pre-existing resemblances observed in nature but the “creation of resemblance by the imagination” (NA: 72). Resemblance, and not identity, according to Stevens, is the fundamental relation between the two terms of metaphor. (...) This is akin to contemporary accounts of metaphor in terms of the phenomenological or experiential seeing of one thing as another thing (Yoos 1971; Davidson 1979; Camp 2006a,b; Semino 2008; Ritchie 2013). Seeing one thing as another thing on the basis of resemblance or similarity implies that the one thing is not the other. I do two main things in this paper: one, I appraise the theoretical value of Wallace Stevens’ conception of metaphor as the creation of resemblance by the imagination; and two, I pose a challenge to the view that takes resemblance as fundamental to metaphor, arguing that in the cases I present, thinking of the relation as identity and not resemblance, concurs with our ontological commitments to the things compared in the metaphor. In the final analysis, I suggest that Stevens conception of metaphor as metamorphosis can meet the challenge: rather than thinking of the ‘is’ (identity) of metaphor as an ‘as’ (resemblance), for Stevens, the ‘as’ (resemblance) of metaphor metamorphosize into an ‘is’ (identity). (shrink)

Iris Murdoch’s The Sovereignty of Good—especially the first essay, “The Idea of Perfection”—is often associated with a critique of a certain picture of agency and its proper place in ethical thought. There is implicit in this critique, however, an alternative, much richer one. I propose a reading of Murdochian agency in terms of the continuous activity of cultivating and refining a distinctive practical standpoint, and I apply this reading to her account of moral progress. For Murdoch moral progress depends on (...) transcending egoism and achieving clear perception of a normatively-saturated reality, but it would be a mistake to think of egoism in terms of selfishness, or clarity in terms of altruism. Rather, I argue, Murdochian moral progress requires overcoming socially-conditioned and often ideological forms of alienation, and making the social conditions that inform our practical standpoints self-conscious. (shrink)

A Better Ape covers the evolution of morality from the birth of our ape family through the evolution of human species and all the way up to the development of modern societies. In this summary, we highlight several main elements of this account: the co-evolution of morality with intelligence and complex sociality; the role of social institutions and religious morality in the cultural evolution of behaviorally modern humans in prehistory; the increasing complexity of the moral mind through biological evolution in (...) apes, gene-culture co-evolution in various human species, cultural evolution in Homo sapiens, and rational-cultural evolution in recent centuries; and, finally, a cultural evolutionary model of progressive and regressive moral change on which a key factor driving moral progress is social and democratic integration. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

Confabulation is typically understood to be dysfunctional. But this understanding neglects the phenomenon’s potential benefits. In fact, we think that the benefits of non-clinical confabulation provide a better foundation for a general account of confabulation. In this paper, we start from these benefits to develop a social teleological account of confabulation. Central to our account is the idea that confabulation manifests a kind of willful ignorance. By understanding confabulation in this way, we can provide principled explanations for the difference between (...) clinical and non-clinical cases of confabulation and the extent to which confabulation is rational. (shrink)

In this paper, we focus on whether and to what extent we judge that people are responsible for the consequences of their forgetfulness. We ran a series of behavioral studies to measure judgments of responsibility for the consequences of forgetfulness. Our results show that we are disposed to hold others responsible for some of their forgetfulness. The level of stress that the forgetful agent is under modulates judgments of responsibility, though the level of care that the agent exhibits toward performing (...) the forgotten action does not. We argue that this result has important implications for a long-running debate about the nature of responsible agency. (shrink)

Do metaphorical sentences express facts or represent states of affairs in the world? Can a metaphorical statement tell us ‘what there is’? These questions raise the issue of whether metaphors can be used to make truth-claims; that is, whether metaphors can be regarded as assertions that can be evaluated as true or false. Some theorists on metaphor have argued for a negative answer to the above-mentioned questions. They have claimed, among others, that metaphorical utterances are non-descriptive uses of language (Blackburn (...) 1998); truth is not the constitutive aim of metaphors (Lamarque and Olsen 1994); metaphorical sentences do not have propositional contents (Davidson 1979; Cooper 1986; Rorty 1987, 1989; Lepore and Stone 2010, 2015); metaphorical utterances are neither assertions nor expressions of beliefs (Loewenberg 1973, 1975; Davies 1982; Davies 1984; Blackburn, 1984). I discuss a particular view, Metaphorical Expressivism, which exploits the relationship between truth, belief and assertion, and argues for the irrelevancy of truth to metaphors on the premise that metaphorical utterances do not count as assertions and that they do not count as the expression of beliefs. The denial of the truth-evaluability of metaphors on this view, I argue, is a product of an unmotivated tendency to see truth and meaning in terms of the portrayal of facts and a commitment to two untenable principles: literalism and representationalism. (shrink)

The purpose of this paper is to show that, if Kant’s universalization formulations of the Categorical Imperative are our only standards for judging right from wrong and permissible from impermissible, then we have no obligations. I shall do this by examining five different views of how obligations can be derived from the universalization formulations and arguing that each one fails. I shall argue that the first view rests on a misunderstanding of the universalization formulations; the second on a misunderstanding of (...) the concept of an obligation; the third on a misunderstanding of the concept of a maxim; the fourth on a misunderstanding of the limits of action description; and the fifth on a misunderstanding of the universalization formulations again. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

Scholars have often thought that a monistic reading of Aristotle’s definition of the human good – in particular, one on which “best and most teleios virtue” refers to theoretical wisdom – cannot follow from the premises of the ergon argument. I explain how a monistic reading can follow from the premises, and I argue that this interpretation gives the correct rationale for Aristotle’s definition. I then explain that even though the best and most teleios virtue must be a single virtue, (...) that virtue could in principle be a whole virtue that arises from the combination of all the others. I also clarify that the definition of the human good aims at capturing the nature of human eudaimonia only in its primary case. (shrink)

Loyalty is considered central to people’s moral life, yet little is known about how people think about what it means to be loyal. We used a prototype approach to understand how loyalty is represented in Colombia and the United States and how these representations mediate attributions of loyalty and moral judgments of loyalty violations. Across 7 studies (N = 1,984), we found cross-cultural similarities in the associative meaning of loyalty (Study 1) but found differences in the centrality of features associated (...) with loyalty (Study 2) and the latent structure of loyalty representations (Study 3). Colombians represent loyalty in terms of more general moral characteristics, while US participants represent loyalty in terms of interpersonal commitment, both in contrast with current approaches to loyalty. By comparing representations of loyalty and honesty, we establish that difference in loyalty conceptualizations reflect a different way of thinking about loyalty rather than morality more generally (Study 4). Further, Colombians attributed greater loyalty to individuals with general moral characteristics compared to participants from the United States sample (Study 5) and were more likely to classify non-loyal values as loyalty-related (Study 6). While the centrality of prototypical features predicts categorizing norm violations as loyalty-related, differences in prototypical structure account for differences in the severity of moral judgment for such violations (Study 7), which suggests that loyalty representations have similar functions even though these representations differ in structural characteristics. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld and (...) Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

Jennifer Saul argues that the evidence from the literature on implicit biases entails a form of skepticism. In this paper, I argue that Saul faces a dilemma: her argument is either self-defeating, or it does not yield a skeptical conclusion. For Saul, both results are unacceptable; thus, her argument fails.

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)

In recent years, some have claimed that a Darwinian perspective will revolutionize the study of human society and culture. This project is viewed with disdain and suspicion, on the other hand, by many practicing social scientists. This article seeks to clear the air in this heated debate by dissociating two claims that are too often assumed to be inseparable. The first is the ‘ontological’ claim that Darwinian principles apply, at some level of abstraction, to human society and culture. The second (...) is the more ‘pragmatic’ claim that this observation necessitates substantial changes in the practices of social scientists. Even if some version of the first claim is true, I argue – which I believe is quite likely – the second does not follow. This observation ought to chasten the most overzealous advocates of Darwinian social science, as well as softening the instinctive resistance of many social scientists and historians to the genuine insights enabled by a Darwinian approach. The conclusion discusses these insights, the most important of which is a methodological prescription for normative theory. (shrink)

Most democratic theorists agree that concentrations of wealth and power tend to distort the functioning of democracy and ought to be countered wherever possible. Deliberative democrats are no exception: though not its only potential value, the capacity of deliberation to ‘neutralise power’ is often regarded as ‘fundamental’ to deliberative theory. Power may be neutralised, according to many deliberative democrats, if citizens can be induced to commit more fully to the deliberative resolution of common problems. If they do, they will be (...) unable to get away with inconsistencies and bad or private reasons, thereby mitigating the illegitimate influence of power. I argue, however, that the means by which power inflects political disagreement is far more subtle than this model suggests and cannot be countered so simply. As a wealth of recent research in political psychology demonstrates, human beings persistently exhibit ‘motivated reasoning’, meaning that even when we are sincerely committed to the deliberative resolution of common problems, and even when we are exposed to the same reasons and evidence, we still disagree strongly about what ‘fair cooperation’ entails. Motivated reasoning can be counteracted, but only under exceptional circumstances such as those that enable modern science, which cannot be reliably replicated in our society at large. My analysis suggests that in democratic politics – which rules out the kind of anti-democratic practices available to scientists – we should not expect deliberation to reliably neutralise power. (shrink)

This paper articulates a functionalist account of intra-party democracy (IPD). Like realist critics, we insist that IPD practices be evaluated on the basis of whether they facilitate resistance to domination and capture at the level of the polity as a whole, and therefore accept certain realist worries about IPD. Yet realists neglect the possibility that wealthy interests could control the political agenda by capturing all viable parties simultaneously-and that mass-facing IPD could counter this threat of oligarchic agenda capture. Taking this (...) as the key function of IPD within broader democratic systems, we conclude that inclusionary party reform is less urgent in more flexible party systems, where dissenters are better able to resist this threat from within the framework of inter-party competition. Regardless of the context, meanwhile, we also conclude that mass-facing IPD practices should aim at enabling ordinary members and supporters of a party to resist agenda capture by oligarchic interests. Though we stop short of defending any particular set of reforms, we reject the emphasis of recent IPD advocates on individualized forms of deliberative participation, in favor of a more oppositional and collectively-oriented approach-on the grounds that the latter is more likely to encourage the development of effective institutions of countervailing power. (shrink)

According to the ‘standard story’ in the philosophy of action, actions are those movements of a creature’s body that are caused and rationalized by the creature’s mental states. The attractions of the causal condition have been widely discussed. The rationalization condition is nearly ubiquitous, but it is notoriously obscure, and its motivation has rarely been made explicit. This paper presents a new argument for including the rationalization condition in the causal theory of action, and sketches a broadly Davidsonian theory of (...) what rationalization is. (shrink)

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is more difficult than (...) creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

I argue that the social dimension of alienation, as discussed by Williams and Railton, has been underappreciated. The lesson typically drawn from their exchange is that moral theory poses a threat to the internal integrity of the agent, but there is a parallel risk that moral theory will implicitly construe agents as constitutively alienated from one another. I argue that a satisfying account of agency will need to make room for what I call ‘genuine ethical contact’ with others, both as (...) concrete objects in the world external to ourselves and as subjects who can recognize us reciprocally. (shrink)

The leading reductive approaches to shared agency model that phenomenon in terms of complexes of individual intentions, understood as plan-laden commitments. Yet not all agents have such intentions, and non-planning agents such as small children and some non-human animals are clearly capable of sophisticated social interactions. But just how robust are their social capacities? Are non-planning agents capable of shared agency? Existing theories of shared agency have little to say about these important questions. I address this lacuna by developing a (...) reductive account of the social capacities of non-planning agents, which I argue supports the conclusion that they can enjoy shared agency. The resulting discussion offers a fine-grained account of the psychological capacities that can underlie shared agency, and produces a recipe for generating novel hypotheses concerning why some agents do not engage in shared agency. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

The idea that time does not exist is, for many, unthinkable: time must exist. Almost every experience we have tells us so. There has been plenty of debate around what time is like, but not whether it exists. The goal of this book is to make the absence of time thinkable. Time might not exist. Beginning with an empirically flavoured examination of the 'folk' concept of time, the book explores the implications this has for our understanding of agency, and the (...) extent to which our best physics and best metaphysics are compatible with a timeless conception of reality. (shrink)

According to Kwame Nkrumah, the conscience of the African society is plagued with three strands of influences which have competing and conflicting ideologies: “African society has one segment which comprises our traditional way of life; it has a second segment which is filled by the presence of the Islamic tradition in Africa; it has a final segment which represents the infiltration of the Christian tradition and culture of Western Europe into Africa, using colonialism and neocolonialism as its primary vehicles.” When (...) these three segments with their conflicting ideologies are allowed to co-exist, the African society “will be racked by the most malignant schizophrenia.” Nkrumah’s solution, philosophical consciencism, presents an ideology aimed at achieving a harmony among the three segments in such a way that is “in tune with the original humanist principles underlying African society.” I do two main things in this paper: first, I present an analysis and critique of Nkrumah’s understanding of how the harmony is to be achieved in African societies; and second, I show how the theoretical ideas of philosophical consciencism – materialism, dialectical change, categorial conversion, socialism – are given actual form and content on the social-political scene through an analysis of Nkrumah's set theoretic terms. (shrink)

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

In this paper I provide a novel argument for scientific realism. In contrast to most recent defenses of SR, my defense of SR does not rely on the no-miracles argument. Instead, I take a more unconventional approach: I focus on the different kinds of justification available to different individuals in relation to different kinds of propositions. I maintain that this alternative focus shows that most people are warranted in believing many propositions about unobservables. The paper is divided into three main (...) sections. In the first, I rehearse the main moves in the recent debate about SR. In the second, I argue that the discussion in section one enables us to see that most of the arguments in the recent debate about SR mistake their target: instead of being about SR, they are about meta-SR. I argue that what I call the JJ-principle should be rejected and, further, that if the JJ-principle is rejected, then meta-SR may be cleaved from SR. This enables me to advance to a position I call thin realism in the third and final section of the paper. (shrink)

In the Laws, Plato argues that the legislator should attempt to persuade people to voluntarily obey the laws. This persuasion is accomplished through use of legislative preludes. Preludes (also called preambles) are short arguments written into the legal code, which precede laws and give reasons to follow them. In this paper, I argue that Plato’s use of persuasive preludes shows that he endorses the core features of a public reason theory of political justification. Many philosophers argue that Plato’s political philosophy (...) is deeply at odds with contemporary liberal political philosophy. While Plato certainly does not affirm (and even rejects) some of the main features of liberalism, if it could be shown that he endorses some account of public reason (which is a liberal idea to its core), this would suggest that there is more in common between Plato and liberalism than many philosophers think. Furthermore, if combined with the work of philosophers, like C.C.W. Taylor, this could form a cumulative case against those who argue that there is little in common between Plato’s political philosophy and liberalism. In short, by showing that Plato endorses the core features of public reason, I endeavor to show that there is more in common between Plato and liberalism than is often thought. (shrink)

Copernican reasoning involves considering ourselves, in the absence of other information, to be randomly selected members of a reference class. Consider the reference class intelligent observers. If there are extraterrestrial intelligences (ETIs), taking ourselves to be randomly selected intelligent observers leads to the conclusion that it is likely the Earth has a larger population size than the typical planet inhabited by intelligent life, for the same reason that a randomly selected human is likely to come from a more populous country. (...) The astrophysicist Fergus Simpson contends that this reasoning supports the claims that the typical planet inhabited by ETIs is smaller than Earth (radius about 5,000km; cf. Earth's radius = 6,371km) and that the typical ETI is significantly larger than us about 314kg, the size of an adult male grizzly bear). Simpson's applications of Copernican reasoning are novel and exciting. They should be of interest to philosophers concerned with Richard Gott's delta t argument, the N=1 problem in astrobiology, limited principles of indifference, and probabilistic epistemology in general. While we agree with Simpson about the qualitative direction of his conclusions, we take issue with his presentation of precise quantitative results because his methods (1) display bias, (2) ignore other variables contributing to population size, (3) commit an equivocation, and (4) conceal their dependence on arbitrary assumptions. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)